Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
141	Enhancing Davis Putnam with Extended Binary Clause Reasoning Fahiem Bacchus Dept. Of Computer Science University Of Toronto Toronto, Ontario Canada, M5S 1A4 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2002-04-08 12:32:58 Mathematical logic Constraint programming Formal methods Logic in computer science Boolean algebra Boolean satisfiability problem Unit propagation Resolution Davis–Putnam algorithm Theoretical computer science Mathematics Automated theorem proving
142	5 CONSTRAINT SATISFACTION PROBLEMS In which we see how treating states as more than just little black boxes leads to the Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 11:02:01 Artificial intelligence Constraint satisfaction problem Local consistency Constraint satisfaction Local search Search algorithm Backtracking Mathematical optimization Constraint logic programming Constraint programming Software engineering Computer programming
143	D:E-Workinginated-Pdfcevc04-paginated-pdfsc-liaoc-liaoproof.dvi Add to Reading List Source URL: code.ulb.ac.be Language: English - Date: 2014-10-21 12:04:13 Operations research Genetic algorithm Ant colony optimization algorithms Optimization problem Continuous optimization Algorithm Combinatorial optimization Constraint optimization Multidisciplinary design optimization Mathematical optimization Mathematics Applied mathematics
144	Hydrol. Earth Syst. Sci., 18, 4861–4870, 2014 www.hydrol-earth-syst-sci.netdoi:hess © Author(sCC Attribution 3.0 License. A constraint-based search algorithm for parameter Add to Reading List Source URL: www.hydrol-earth-syst-sci.net Language: English - Date: 2014-12-05 05:26:09 Mathematical optimization Operations research Swat-CUP
145	ON AUGMENTED LAGRANGIAN METHODS WITH GENERAL LOWER-LEVEL CONSTRAINTS ∗ R. ANDREANI †, Add to Reading List Source URL: www.ime.usp.br Language: English - Date: 2006-10-09 16:16:43 Mathematics Penalty method Karush–Kuhn–Tucker conditions Lagrange multiplier Augmented Lagrangian method Convex optimization Constraint algorithm Mathematical optimization Numerical analysis Mathematical analysis
146	Learning HTN Method Preconditions and Action Models from Partial Observations Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2009-07-14 20:12:38 Artificial intelligence Mathematics Decomposition method Precondition Algorithm Applied mathematics Automated planning and scheduling Hierarchical task network Constraint programming
147	CATION OF CONST AINT DYNAMICS FOR SPACECRAFT MANEUVER Hyochoong Bang and Brij N. Agrawal Naval Postgraduate School, CA[removed]stability problem. For spacecraft , especially flexible spacecraft maneuver, this approach can Add to Reading List Source URL: faculty.nps.edu Language: English - Date: 2009-05-29 17:39:14 Classical mechanics Mathematical optimization Lagrange multiplier Inverse dynamics Optimal control Holonomic Equations of motion Control theory Constraint algorithm Physics Mathematics Mathematical analysis
148	Constrained Physical Design Tuning Nicolas Bruno Surajit Chaudhuri Microsoft Research Add to Reading List Source URL: www.vldb.org Language: English - Date: 2008-10-22 09:22:50 Computational science Constraint optimization Computer programming Constraint algorithm Database index Constraint Backtracking Systems engineering process Decomposition method Constraint programming Mathematical optimization Science
149	SIGGRAPH 98, Orlando, July 19–24 C OMPUTER G RAPHICS Proceedings, Annual Conference Series, 1998 Large Steps in Cloth Simulation David Baraff Add to Reading List Source URL: www.ri.cmu.edu Language: English - Date: 2008-10-18 20:44:52 Mathematics Multivariable calculus Computational chemistry 3D computer graphics Video game development Constraint algorithm Cloth modeling Lagrange multiplier Damping Calculus Computational physics Mathematical analysis
150	Part of Speech Tagging from a Logical Point of View Torbjorn Lager1 and Joakim Nivre2 1 Uppsala University, Department of Linguistics, [removed] Add to Reading List Source URL: www.ling.gu.se Language: English - Date: 2003-08-18 05:17:07 Knowledge Part-of-speech tagging Brill tagger Hidden Markov model Constraint Grammar Inference Viterbi algorithm Ontology Modal logic Science Markov models Logic

UPDATE